#include <asm/gdt.h>

void init_gdt() {
}